translating english sentence to logical expression